J.C.C.McKensey, A. Tarski; "The Algebra of Topology"